A critical edition with facing-page translation, of Guglielmo Ebreo's treatise of 1463. It also contains dance tunes in facsimile and in annotated transcriptions based on the choreographies.

Leone's Dialogues consists of three conversations - 'On Love and Desire,' 'On the Universality of Love,' and 'On the Origin of Love' - that take place over a period of three subsequent days.They are organized in a dialogic format, much like a theatrical representation, of a conversation between a man, Philo, who plays the role of the lover and teacher, and a woman, Sophia, the beloved and pupil. The discussion covers a wide range of topics that have as their common (...) denominator the idea of Love. Through the dialogue, the author explores many different points of view and complex philosophical ideas. Grounded in a distinctly Jewish tradition, and drawing on Neoplatonic philosophical structures and Arabic sources, the work offers a useful compendium of classical and contemporary thought, yet was not incompatible with Christian doctrine. (shrink)

Much of the current research in regenerative medicine concentrates on stem-cell therapy that exploits the regenerative capacities of stem cells when injected into different types of human tissues. Although new therapeutic paths have been opened up by induced pluripotent cells and human mesenchymal cells, the rate of success is still low and mainly due to the difficulties of managing cell proliferation and differentiation, giving rise to non-controlled stem cell differentiation that ultimately leads to cancer. Despite being still far from becoming (...) a reality, these studies highlight the role of physical and biological constraints (e.g., cues and morphogenetic fields) placed by tissue microenvironment on stem cell fate. This asks for a clarification of the coupling of stem cells and microenvironmental factors in regenerative medicine. We argue that extracellular matrix and stem cells have a causal reciprocal and asymmetric relationship in that the 3D organization and composition of the extracellular matrix establish a spatial, temporal, and mechanical control over the fate of stem cells, which enable them to interact and control (as well as be controlled by) the cellular components and soluble factors of microenvironment. Such an account clarifies the notions of stemness and stem cell regeneration consistently with that of microenvironment. (shrink)

Artificial agents are progressively becoming more present in everyday-life situations and more sophisticated in their interaction affordances. In some specific cases, like Google Duplex, GPT-3 bots or Deep Mind’s AlphaGo Zero, their capabilities reach or exceed human levels. The use contexts of everyday life necessitate making such agents understandable by laypeople. At the same time, displaying human levels of social behavior has kindled the debate over the adoption of Dennett’s ‘intentional stance’. By means of a comparative analysis of the literature (...) on robots and virtual agents, we defend the thesis that approaching these artificial agents ‘as if’ they had intentions and forms of social, goal-oriented rationality is the only way to deal with their complexity on a daily base. Specifically, we claim that this is the only viable strategy for non-expert users to understand, predict and perhaps learn from artificial agents’ behavior in everyday social contexts. Furthermore, we argue that as long as agents are transparent about their design principles and functionality, attributing intentions to their actions is not only essential, but also ethical. Additionally, we propose design guidelines inspired by the debate over the adoption of the intentional stance. (shrink)

This article examines ethical implications of the growing AI carbon footprint, focusing on the fair distribution of prospective responsibilities among groups of involved actors. First, major groups of involved actors are identified, including AI scientists, AI industry, and AI infrastructure providers, from datacenters to electrical energy suppliers. Second, responsibilities of AI scientists concerning climate warming mitigation actions are disentangled from responsibilities of other involved actors. Third, to implement these responsibilities nudging interventions are suggested, leveraging on AI competitive games which would (...) prize research combining better system accuracy with greater computational and energy efficiency. Finally, in addition to the AI carbon footprint, it is argued that another ethical issue with a genuinely global dimension is now emerging in the AI ethics agenda. This issue concerns the threats that AI-powered cyberweapons pose to the digital command, control, and communication infrastructure of nuclear weapons systems. (shrink)

Chris Arthur's approach aims at a systematic re-ordering of Marx's categories. This article argues that his approach is actually a different ordering of different categories that are positioned within a specific theoretical whole, a Hegelian re-interpretation of Marx and especially of abstract labour, which distances itself from Marx. While the debate has focused mainly on the philosophical aspects of Arthur's work, its economic features have not been the object of a systematic analysis. Yet, a full assessment of the 'New Dialectics' (...) should include explicitly a systematic internal critique of its economic dimensions. The aim of this article is to assess the internal consistency of the economic ramifications of the 'New Dialectics'. The focus is on the notions of abstract labour, concrete labour, and exploitation. Arthur's faithfulness to Marx, or correspondence to Marx's quotations, is not the criterion used to assess the 'New Dialectics'. Rather, the criterion is whether it discovers logical inconsistencies in Capital and is itself free from inconsistencies. The answer is negative in both cases. (shrink)

The fulcrum of this work is knowledge: what it is and how it is generated within the context of a capitalist society. First, Marx’s analysis of the objective labour process is extended to the mental labour process. Then, objective and mental labour processes are defined in terms of objective and mental transformations, with consideration paid to which of the two types of transformation is determinant. This requires a discussion of dialectical logic and formal logic. Within dialectical logic, two types of (...) processes are introduced: open ended and pre-determined. It is argued that computers (both traditional and quantum) and Artificial Intelligence cannot generate new knowledge, because they (a) rely on formal logic, i.e. they cannot engage in open-ended dialectical processes, and (b) are impervious to social determination. Connectedly, Artificial Intelligence systems such as ChatGPT cannot be a substitute for human thought or writing, because of the inevitability of ‘model collapse’. Next, focus is shifted to a specific form of knowledge: the ‘Copenhagen interpretation’ of quantum mechanics. It is shown that this interpretation is steeped in irrationalism and that it is a variant of pro-capitalist ideology. Finally, the social-historical roots of this ideology are revealed. (shrink)

Moral judgments about an agent's behavior are enmeshed with inferences about the agent's mind. Folk psychology—the system that enables such inferences—therefore lies at the heart of moral judgment. We examine three related folk-psychological concepts that together shape people's judgments of blame: intentionality, choice, and free will. We discuss people's understanding and use of these concepts, address recent findings that challenge the autonomous role of these concepts in moral judgment, and conclude that choice is the fundamental concept of the three, defining (...) the core of folk psychology in moral judgment. (shrink)

In this paper, we report on an experiment with The Walking Dead (TWD), which is a narrative-driven adventure game with morally charged decisions set in a post-apocalyptic world filled with zombies. This study aimed to identify physiological markers of moral decisions and non-moral decisions using infrared thermal imaging (ITI). ITI is a non-invasive tool used to capture thermal variations due to blood flow in specific body regions that might be caused by sympathetic activity. Results show that moral decisions seem to (...) elicit a significant decrease in temperature in the chin region 20 seconds after participants are presented with a moral decision. However, given the small sample involved, and the lack of significance in other regions, future studies might be needed to confirm the results obtained in this work. (shrink)

Forgiveness has been a central issue for humankind since ancient times; it emerged in theology, but in recent decades it has received significant attention from different disciplines, such as philosophy and psychology. More recently, forgiveness has received attention also from organizational and managerial studies, particularly, in studying how individuals respond to interpersonal offenses, or perceived harm and wrongdoing in the workplace. Forgiveness is a complex concept, as it can be understood as a family of related constructs and can be analyzed (...) at different levels. Even if social sciences have widely recognized that the nature of forgiveness can be both conditional and unconditional, the notions of conditionality and unconditionality have not yet received sufficient study, especially in organizational and managerial fields. In these fields, forgiveness has been predominantly studied under a psychological approach, looking for the conditions under which it may occur in the workplace. Unconditional forgiveness has received less attention: with a few exceptions, managerial and organizational literature has limited the conceptualization of forgiveness, weakening its scope and probably not catching a relevant part of forgiving experiences in the workplace. This article proposes to follow a more comprehensive approach to forgiveness in the workplace, according to the social sciences field, which can take into account both conditionality and unconditionality. It focuses on unconditional forgiveness according to Continental philosophy, in particular, to the thought of Jacque Derrida and Paul Ricoeur. Through their contributions, the unconditionality of forgiveness is deepened, and the implications of considering both conditional and unconditional forgiveness are discussed. (shrink)

The logic of gift and gratuitousness in business activity raised by the encyclical Caritas in Veritate stresses a deeper critical evaluation of the category of relation. The logic of gift in business includes two aspects. The first is considering the logic of gift as a new conceptual lens in order to view business relationship beyond contractual logic. In this view, it is crucial to see the circulation of goods as instrumental for the development of relationships. The second aspect is to (...) qualify the relationships established through the gift, and to think about the motivation in gift-giving, which has an ethical content. We give because we have received, and through gift-giving we develop relationships that have a high ‘bonding value’. Analysing the logic of gift in business management may permit us to gain an understanding of the ambiguity of gift-giving in organizations. Looking at the relationships between organizations and employees, and organizations and customers, we can discover why the logic of gift is often misunderstood or abused in its application, and how it should be applied to be more consistent with the message of Caritas in Veritate. (shrink)

Can an event’s blameworthiness distort whether people see it as intentional? In controversial recent studies, people judged a behavior’s negative side effect intentional even though the agent allegedly had no desire for it to occur. Such a judgment contradicts the standard assumption that desire is a necessary condition of intentionality, and it raises concerns about assessments of intentionality in legal settings. Six studies examined whether blameworthy events distort intentionality judgments. Studies 1 through 4 show that, counter to recent claims, intentionality (...) judgments are systematically guided by variations in the agent’s desire, for moral and nonmoral actions alike. Studies 5 and 6 show that a behavior’s negative side effects are rarely seen as intentional once people are allowed to choose from multiple descriptions of the behavior. Specifically, people distinguish between “knowingly” and “intentionally” bringing about a side effect, even for immoral actions. These studies suggest that intentionality judgments are unaffected by a behavior’s blameworthiness. (shrink)

Both physiological and evolutionary criteria of biological individuality are underpinned by the idea that an individual is a functionally integrated whole. However, a precise account of functional integration has not been provided so far, and current notions are not developed in the details, especially in the case of composite systems. To address this issue, this paper focuses on the organisational dimension of two representative associations of prokaryotes: biofilms and the endosymbiosis between prokaryotes. Some critical voices have been raised against the (...) thesis that biofilms are biological individuals. Nevertheless, it has not been investigated which structural and functional obstacles may prevent them from being fully integrated physiological or evolutionary units. By contrast, the endosymbiotic association of different species of prokaryotes has the potential for achieving a different type of physiological integration based on a common boundary and interlocked functions. This type of association had made it possible, under specific conditions, to evolve endosymbionts into fully integrated organelles. This paper therefore has three aims: first, to analyse the organisational conditions and the physiological mechanisms that enable integration in prokaryotic associations; second, to discuss the organisational differences between biofilms and prokaryotic endosymbiosis and the types of integration they achieve; finally, to provide a more precise account of functional integration based on these case studies. (shrink)

Extant models of moral judgment assume that an action’s intentionality precedes assignments of blame. Knobe (2003b) challenged this fundamental order and proposed instead that the badness or blameworthiness of an action directs (and thus unduly biases) people’s intentionality judgments. His and other researchers’ studies suggested that blameworthy actions are considered intentional even when the agent lacks skill (e.g., killing somebody with a lucky shot) whereas equivalent neutral actions are not (e.g., luckily hitting a bull’s-eye). The present five studies offer an (...) alternative account of these provocative findings. We suggest that people see the morally significant action examined in previous studies (killing) as accomplished by a basic action (pressing the trigger) for which an unskilled agent still has sufficient skill. Studies 1 through 3 show that when this basic action is performed unskillfully or is absent, people are far less likely to view the killing as intentional, demonstrating that intentionality judgments, even about immoral actions, are guided by skill information. Studies 4 and 5 further show that a neutral action such as hitting the bull’s-eye is more difficult than killing and that difficult actions are less often judged intentional. When difficulty is held constant, people’s intentionality judgments are fully responsive to skill information regardless of moral valence. The present studies thus speak against the hypothesis of a moral evaluation bias in intentionality judgments and instead document people’s sensitivity to subtle features of human action. (shrink)

Although the analogy between macroscopic machines and biological molecular devices plays an important role in the conceptual framework of both neo-mechanistic accounts and nanotechnology, it has recently been claimed that certain complex molecular devices cannot be considered machines since they are subject to physicochemical forces that are different from those of macroscopic machines. However, the structural and physicochemical conditions that allow both macroscopic machines and microscopic devices to work and perform new functions, through a combination of elemental functional parts, have (...) not yet been examined. In order to fill this void, this paper has a threefold aim: first, to clarify the structural and organisational conditions of macroscopic machines and microscopic devices; second, to determine whether the machine-like analogy fits nanoscale devices; and third, to assess whether the machine-like analogy is appropriate for describing the behaviour of some biological macromolecules. Finally, the paper gives an account of ‘machine’ which, while acknowledging the physicochemical and organisational differences between man-made machines and biological microscopic devices, nevertheless identifies a common conceptual core that allows us to consider the latter ‘machines’. (shrink)

Robots are being extensively used for the purpose of discovering and testing empirical hypotheses about biological sensorimotor mechanisms. We examine here methodological problems that have to be addressed in order to design and perform “good” experiments with these machine models. These problems notably concern the mapping of biological mechanism descriptions into robotic mechanism descriptions; the distinction between theoretically unconstrained “implementation details” and robotic features that carry a modeling weight; the role of preliminary calibration experiments; the monitoring of experimental environments for (...) disturbing factors that affect both modeling features and theoretically unconstrained implementation details of robots. Various assumptions that are gradually introduced in the process of setting up and performing these robotic experiments become integral parts of the background hypotheses that are needed to bring experimental observations to bear on biological mechanism descriptions. (shrink)

The issue of damaged relationships and of repairing them is very important, especially in recent years with reports of organizations which damage relationships with various stakeholders. Many studies have investigated how individuals react to damaged relationships after perceiving injustice or receiving offense in organizations. A part of this research has been focused on revenge or other types of negative responses. However, individuals can choose to react in other ways than revenge, willing to repair relationships through reconciliation. Recently, the effectiveness of (...) reconciliation to repair damaged relationship in organizations has been linked to restorative justice. For the purpose of this article we are interested in understanding how restorative justice can be effective in repairing damaged or broken relationships in organizations, as inspired by principles of compassion or mercy. In this sense, we look for a convincing philosophical foundation for restorative justice, proposing Levinas’ ethics as a way to justify it. (shrink)

This work focuses exclusively on the modern economic aspects of imperialism. We define it as a persistent and long-term net appropriation of surplus value by the high-technology imperialist countries from the low-technology dominated countries. This process is placed within the secular tendential fall in profitability, not only in the imperialist countries but also in the dominated ones. We identify four channels through which surplus value flows to the imperialist countries: currency seigniorage; income flows from capital investments; unequal exchange through trade; (...) and changes in exchange rates. We pay particular attention to the theorisation and quantification of international UE and of exchange-rate movements. Concerning UE, we extend Marx’s transformation procedure to the international setting. We use two variables in the analysis of UE: the organic composition of capital and the rate of exploitation, and we measure which of these two variables is more important in contributing to UE transfers. We research a time span longer than in any previous study. We also introduce the distinction between narrow and broad unequal exchange according to whether two countries are assumed to trade only with each other or also with the rest of the world. As for the analysis of the exchange rates as a channel for appropriation of international surplus value, we reject conventional approaches because they are rooted in equilibrium theory. We find very strong empirical evidence that exchange rates tend towards the point at which the productivities are equalised. This is only a tendency because this equalisation is inherently incompatible with the nature of imperialism. Finally, given its topicality, we apply our analysis to the relation between the US and China and find that China is not an imperialist country according to our definition and data. (shrink)

This work aims to foster interest in the links between a particular theoretical and conceptual development of sociological science in Italy and the debate surrounding the history of scientific subjects, here called the epistemological history of various disciplines. The author sets out to trace the points of view emerging from Italian epistemological sociology between the early twentieth and twenty-first centuries and related to the debate on the historical and philosophical sciences. The intention resides in revealing the distinctive characteristics of the (...) latter, their internal (logical and methodological) rather than external (historical and social) factors, while investigating the task of the new historians of science confronted with the changes caused by various knowledge and forms of technological know-how. The text provides the contemporary scientific community with a new route to follow when seeking to rationally establish and write the history of sociology. The addressees are, more than anything else, the new generation of scholars of the history of science. (shrink)

Strategies for improving the explainability of artificial agents are a key approach to support the understandability of artificial agents’ decision-making processes and their trustworthiness. However, since explanations are not inclined to standardization, finding solutions that fit the algorithmic-based decision-making processes of artificial agents poses a compelling challenge. This paper addresses the concept of trust in relation to complementary aspects that play a role in interpersonal and human–agent relationships, such as users’ confidence and their perception of artificial agents’ reliability. Particularly, this (...) paper focuses on non-expert users’ perspectives, since users with little technical knowledge are likely to benefit the most from “post-hoc”, everyday explanations. Drawing upon the explainable AI and social sciences literature, this paper investigates how artificial agent’s explainability and trust are interrelated at different stages of an interaction. Specifically, the possibility of implementing explainability as a trust building, trust maintenance and restoration strategy is investigated. To this extent, the paper identifies and discusses the intrinsic limits and fundamental features of explanations, such as structural qualities and communication strategies. Accordingly, this paper contributes to the debate by providing recommendations on how to maximize the effectiveness of explanations for supporting non-expert users’ understanding and trust. (shrink)

This study aimed to evaluate if eye blinks can be used to discriminate players with different performance in a session of Nintendo Entertainment System (NES) Tetris. To that end, we developed a state-of-the-art method for blink extraction from EAR measures, which is robust enough to be used with data collected by a low-grade webcam such as the ones widely available on laptop computers. Our results show a significant decrease in blink rate per minute (blinks/m) during the first minute of playing (...) Tetris. After having defined 3 groups of proficiency based on in-game performance (Novices, Intermediates, and Experts) we found out that expert players display a significantly lower decrease in blinks/m compared to novices during the first minute of gameplay, which shows that Tetris players' proficiency can be detected by looking at eye blinks/m variations during the early phase of a game session. This difference in blinks/m is observed throughout the entire game session, which supports the general conclusion that proficient Tetris players have a lower decrease in blinks/m, even when playing more difficult levels. Finally, we offer some interpretations of this effect and the relationship that our results may have with the visual cognitive workload experienced during the gameplay. (shrink)

Il testo vuole testimoniare della piena partecipazione delle scienze sociali alla storia delle scienze, in un quadro di sviluppo che prevede la ricezione in Europa della riforma della filosofia naturale attuata da Francesco Bacone nel XVII secolo e recepita nel principio dell’induzione da Auguste Comte in Francia e da Herbert Spencer in Inghilterra. I temi della fondazione delle scienze sono quindi al centro dell’opera di ricostruzione di eventi cruciali. L’investigazione della natura e del mondo empirico da parte dell’uomo sociale si (...) svolge attraverso i secoli nei modi prescritti dalla filosofia naturale, laddove la tradizione antica e medioevale lasciava irrisolti alcuni problemi di tipo finalistico e vitalistico. Nel Cinquecento e soprattutto nel Seicento assistiamo ad una certa ripresa di tematiche suscitate dall’atomismo e dal meccanicismo in concomitanza del declino della fisica aristotelica. Nel secolo di Cartesio, che rifiutava l’atomismo, la ricerca di una teoria della materia dominò la scena nonché quella del movimento rettilineo uniforme che determinava lo stato di quiete dei corpi, come si nota nei Principia philosophiae del 1644 (pubblicati in francese nel 1647). Il principio che la conoscenza derivasse soltanto dall’interpretazione e dal commento dei testi antichi, sotto una certa forma di principium potestatibus, fu gradualmente sostituito da una filosofia della storia del progresso incarnata nell’ambito della conoscenza scientifica dal metodo sperimentale. La Rivoluzione scientifica culminò con l’applicazione di questa metodologia nella filosofia naturale, nelle scienze della vita (biologia, anatomia, zoologia, botanica), nella medicina e nella chimica, nella fisica (ottica, magnetismo, termologia, elettricità) nonché nella scoperte di William Harvey sulla pressione del sangue, di Evangelista Torricelli sulla pressione dell’atmosfera, Francesco Redi sui corpi viventi e Isaac Newton sulla natura della luce. In particolare, Newton seppe sintetizzare la tradizione dell’empirismo inglese, che va da Ruggero Bacone e Guglielmo di Ockham a John Locke, suo contemporaneo. Il contesto di sviluppo delle idee illuministiche e del positivismo in Francia segnò l’evolversi in Occidente della riflessione più matura sulle scienze e sulle scienze sociali nei vari contesti storico-concreti dove la filosofia naturale poté essere interpretata alla luce di nuove scoperte, le quali dovevano segnare, a loro volta, il momento incisivo di una azione progressiva dell’uomo condotta sulla natura stessa e, in modo tale da fare risaltare, infine, il passaggio al mondo della cultura del progresso. Come è noto, l’idea del progresso sta alla base di tante teorizzazioni della società a partire dal XVIII secolo. Per questo, basterà anche ricordare ciò che Kant pensasse dell’ Illuminismo quando affermava: “L’illuminismo è l’uscita dell’uomo dallo stato di minorità che egli deve imputare a se stesso. Minorità è l’incapacità di servirsi del proprio intelletto senza la guida di un altro. Questa minorità è imputabile a se stesso, se la causa non dipende dalla mancanza di intelligenza ma da mancanza di decisione e del coraggio di far uso del proprio intelletto senza essere guidati da un altro. Sapere aude! Abbi il coraggio di servirti della tua propria intelligenza. È questo il motto dell’illuminismo.” La stessa identificazione data da Auguste Comte nel suo Cours all’uso del termine ‘positivo’ cercava di spiegare come si potesse “considerare tutti i fenomeni come assoggettati a leggi naturali ed invariabili, la scoperta e la riduzione al minor numero possibile delle quali è il fine di tutti i nostri sforzi, considerando inoltre come assolutamente inaccessibile e vuota di senso la ricerca di quelle che si chiamano cause, sia cause prime che quelle finali” (Cours de philosophie positive, I). Al cospetto del nuovo modo di pensare e di operare i temi fondanti dell’intervento umano sulla natura circolavano in concomitanza della diffusione dei saperi scientifici, di quei saperi che si erano manifestati quindi in forma di pratiche illuministiche, cioè di un insieme di ragioni teoriche e pratiche poste in relazione tra loro a beneficio del mondo sociale circostante. Gradualmente anche il tema della rappresentazione dei fenomeni della vita si rapporta allo sviluppo della nuova filosofia naturale, tenendo conto del fatto che le scienze raggiungono uno stadio positivo nonché astratto e concreto (v. Herbert Spencer, The Classification of the Sciences). Ciò sarebbe sufficiente per spiegare il nesso esistente tra le scienze e i fenomeni vitali organici, cioè quel collegamento tra lo sviluppo filosofico e scientifico e il progresso dell’ambiente natura-le e sociale. (shrink)

Cybernetics promoted machine-supported investigations of adaptive sensorimotor behaviours observed in biological systems. This methodological approach receives renewed attention in contemporary robotics, cognitive ethology, and the cognitive neurosciences. Its distinctive features concern machine experiments, and their role in testing behavioural models and explanations flowing from them. Cybernetic explanations of behavioural events, regularities, and capacities rely on multiply realizable mechanism schemata, and strike a sensible balance between causal and unifying constraints. The multiple realizability of cybernetic mechanism schemata paves the way to principled (...) comparisons between biological systems and machines. Various methodological issues involved in the transition from mechanism schemata to their machine instantiations are addressed here, by reference to a simple sensorimotor coordination task. These concern the proper treatment of ceteris paribus clauses in experimental settings, the significance of running experiments with correct but incomplete machine instantiations of mechanism schemata, and the advantage of operating with real machines ??? as opposed to simulated ones ??? immersed in real environments. (shrink)

This contribution analyzes present applications of temporal logics that are meaningfully related to Hans Reichenbach's groundbreaking work on verbal tenses and their underlying logical structure. Specifically, some formal methods in theoretical computer science will be discussed that enable one to advance empirical hypotheses and to make predictions about the temporal evolution of computing system’s behaviors.

Abstract. The rapid developments of robotics technologies in the last twenty years of the XX century have greatly encouraged research on the use of robots for surgery, diagnosis, rehabilitation, prosthetics, and assistance to disabled and elderly people. This chapter provides an overview of robotic technologies and systems for health care, focussing on various ethical problems that these technologies give rise to. These problems notably concern the protection of human physical and mental integrity, autonomy, responsibility, ...

Moral judgment – even the type discussed by Knobe – necessarily relies on substantial information about an agent's mental states, especially regarding beliefs and attitudes. Moreover, the effects described by Knobe can be attributed to norm violations in general, rather than moral concerns in particular. Consequently, Knobe's account overstates the influence of moral judgment on assessments of mental states and causality.

Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the mappings between these (...) scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. (shrink)

In this paper, we report on an experiment with The Walking Dead (TWD), which is a narrative-driven adventure game where players have to survive in a post-apocalyptic world filled with zombies. We used OpenFace software to extract action unit (AU) intensities of facial expressions characteristic of decision-making processes and then we implemented a simple convolution neural network (CNN) to see which AUs are predictive of decision-making. Our results provide evidence that the pre-decision variations in action units 17 (chin raiser), 23 (...) (lip tightener), and 25 (parting of lips) are predictive of decision-making processes. Furthermore, when combined, their predictive power increased up to 0.81 accuracy on the test set; we offer speculations about why it is that these particular three AUs were found to be connected to decision-making. Our results also suggest that machine learning methods in combination with video games may be used to accurately and automatically identify complex decision-making processes using AU intensity alone. Finally, our study offers a new method to test specific hypotheses about the relationships between higher-order cognitive processes and behavior, which relies on both narrative video games and easily accessible software, like OpenFace. (shrink)

Brenner's ‘The Economics of Global Turbulence’ is a review of the world economy in the second half of the 20th century and its momentous changes. It deals with a wide range of issues and developments and is supported by a wealth of statistical and historical material. At the same time, it debunks many of the myths upon which recent history has been written. Perhaps even more importantly, it seeks the causes of crises in the laws of motion of capital itself.

The aim of this study was to test whether an online video game can be used to investigate planning ability and whether fluid intelligence, objective numeracy, and subjective numeracy are predictive of game performance. Our results demonstrate that fluid intelligence is particularly important, which is in line with previous non-game-based studies that show a relationship between classical planning tests and fluid intelligence. Video games have been previously used for research into cognitive processes and taking them online facilitates data collection on (...) a larger scale. Online video games also afford data collection without the expense and stress of a laboratory environment. For these reasons, using online video games to investigate human cognition is a promising alternative to the classic cognitive paradigms used in laboratories. (shrink)

The paper set up a small “philosophical lab” for thought experiments using Digital Universes as its main tool. Digital Universes allow us to examine how mereology affects the debate on New Realism of Ferraris and shed new light on the whole notion of Realism. The semi-formal framework provides a convenient way to model the varieties of realism that are important for the program of New Realism: we then draw the natural consequences of this approach into the ontology of our world, (...) arguing that the same considerations that apply to Digital Universe would hold for chess, institutions and social objects as well. Once a particular version of mereology is chosen, there are unavoidable consequences that the very underlying structure of social ontology. We then propose a new New Realism to tackle social objects: social objects turn out to be nothing more than mereological sums, picked up by some description. (shrink)

For a general formulation of the undecidability and incompleteness theorems one has to characterize precisely the notion of formal system. Such a characterization is provided by the proposal to identify the intuitive concept of effectively calculable function with that of partial recursive function. A proper understanding of this identification, which is known under the name of "Church's thesis", is crucial for a philosophical assessment of these metamathematical results. The undecidability and incompleteness theorems suggest one major but certainly not the only (...) reason for interest in Church's thesis. The thesis provides a sharp characterization of a concept that has played an epistemologically motivated role in many logical and foundational investigations and that has been appealed to in methodological discussions concerning computational approaches in cognitive psychology. ;In spite of these various motives of interest a detailed philosophical analysis of the meaning and the epistemological status of Church's thesis has been neglected; a thorough and balanced presentation of arguments for it is lacking. This seems to me to be due to two widespread views of the thesis, both tending to discourage analytical work. According to the first of these views, Church's thesis is unproblematic because the classical arguments for the identification are convincing. According to the second view, it is hopeless to try to evaluate the adequacy of a proposed mathematical characterization of effectiveness, because the intuitive notion is too vague. The analysis undertaken in this thesis conflicts with both views. ;I All classical arguments for Church's thesis, including Turing's, have unconvincing aspects. ;II Some generalizations of Turing's work show that unconvincing aspects of Turing's argument can be dispensed with and provide conceptually significant contributions to the problem of a "natural" mathematical characterization of the mechanically calculable functions. ;III One can isolate meanings of effectiveness conceptually more inclusive than mechanical calculability and distinguish between corresponding interpretations of Church's thesis. ;The analytical work supporting these claims bears significantly on the philosophical issues mentioned above: it plays a crucial role in a philosophical evaluation of the undecidability and incompleteness theorems and in a clarification of the conceptual background of computational approaches in cognitive psychology. (shrink)

The ethical monitoring of brain-machine interfaces (BMIs) is discussed in connection with the potential impact of BMIs on distinguishing traits of persons, changes of personal identity, and threats to personal autonomy. It is pointed out that philosophical analyses of personhood are conducive to isolating an initial thematic framework for this ethical monitoring problem, but a contextual refinement of this initial framework depends on applied ethics analyses of current BMI models and empirical case-studies. The personal autonomy-monitoring problem is approached by identifying (...) various ways in which the inclusion of a robotic controller in the motor pathway of an output BMI may limit or jeopardize personal autonomy. (shrink)

This paper addresses the methodological problem of analysing what it is to explain observed behaviours of engineered computing systems, focusing on the crucial role that abstraction and idealization play in explanations of both correct and incorrect BECS. First, it is argued that an understanding of explanatory requests about observed miscomputations crucially involves reference to the rich background afforded by hierarchies of functional specifications. Second, many explanations concerning incorrect BECS are found to abstract away from descriptions of physical components and processes (...) of computing systems that one finds below the logic circuit and gate layer of functional specification hierarchies. Third, model-based explanations of both correct and incorrect BECS that are provided in the framework of formal verification methods often involve idealizations. Moreover, a distinction between restrictive and permissive idealizations is introduced and their roles in BECS explanations are analysed. (shrink)